home *** CD-ROM | disk | FTP | other *** search
/ Revista do CD-ROM 123 / cdrom123.iso / essenc / extens / wweb / Web Developer.xpi / chrome / webdeveloper.jar / content / webdeveloper / options / pages / sidebar.xul < prev    next >
Encoding:
Extensible Markup Language  |  2004-11-21  |  3.0 KB  |  60 lines
  1. <?xml version="1.0"?>
  2. <?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
  3. <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
  4.  
  5. <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
  6.  
  7. <page onload="parent.webdeveloper_initializeOptions()"
  8.       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  9.  
  10.     <groupbox>
  11.         <caption label="&webdeveloper.edit.css;"/>
  12.         <hbox align="center">
  13.             <label value="&webdeveloper.edit.css.font;" control="webdeveloper.edit.css.font"/>
  14.             <menulist id="webdeveloper.edit.css.font">
  15.                 <menupopup>
  16.                     <menuitem value="8" label="8"/>
  17.                     <menuitem value="9" label="9"/>
  18.                     <menuitem value="10" label="10"/>
  19.                     <menuitem value="11" label="11"/>
  20.                     <menuitem value="12" label="12"/>
  21.                     <menuitem value="13" label="13"/>
  22.                     <menuitem value="14" label="14"/>
  23.                     <menuitem value="15" label="15"/>
  24.                     <menuitem value="16" label="16"/>
  25.                     <menuitem value="18" label="18"/>
  26.                     <menuitem value="20" label="20"/>
  27.                     <menuitem value="24" label="24"/>
  28.                     <menuitem value="26" label="26"/>
  29.                     <menuitem value="28" label="28"/>
  30.                     <menuitem value="32" label="32"/>
  31.                     <menuitem value="36" label="36"/>
  32.                     <menuitem value="40" label="40"/>
  33.                     <menuitem value="48" label="48"/>
  34.                     <menuitem value="56" label="56"/>
  35.                     <menuitem value="64" label="64"/>
  36.                     <menuitem value="72" label="72"/>
  37.                 </menupopup>
  38.             </menulist>
  39.             <spacer class="small-spacer"/>
  40.             <checkbox id="webdeveloper.edit.css.wrap" label="&webdeveloper.edit.css.wrap;"/>
  41.         </hbox>
  42.         <separator/>
  43.         <hbox align="center">
  44.             <label value="&webdeveloper.text.color.label;" control="webdeveloper.edit.css.color.text"/>
  45.             <colorpicker id="webdeveloper.edit.css.color.text" palettename="standard" type="button"/>
  46.             <spacer class="small-spacer"/>
  47.             <label value="&webdeveloper.background.color.label;" control="webdeveloper.edit.css.color.background"/>
  48.             <colorpicker id="webdeveloper.edit.css.color.background" palettename="standard" type="button"/>
  49.         </hbox>
  50.         <separator/>
  51.         <hbox align="center">
  52.             <label value="&webdeveloper.edit.css.update.frequency;" control="webdeveloper.edit.css.update.frequency"/>
  53.             <textbox id="webdeveloper.edit.css.update.frequency" size="4"/>
  54.         </hbox>
  55.     </groupbox>
  56.     <groupbox>
  57.         <caption label="&webdeveloper.view.style.information;"/>
  58.         <checkbox id="webdeveloper.view.style.information.sidebar" label="&webdeveloper.view.style.information.sidebar;"/>
  59.     </groupbox>
  60. </page>